翻訳と辞書 Words near each other ・ Polymnia Saregkou ・ Polymodal ・ Polymodal chromaticism ・ Polymona ・ Polymoog ・ Polymorph (novel) ・ Polymorph (Red Dwarf episode) ・ Polymorph Records ・ Polymorphia ・ Polymorphic association ・ Polymorphic Code ・ Polymorphic code ・ Polymorphic engine ・ Polymorphic packer ・ Polymorphic Programming Language ・ Polymorphic recursion ・ Polymorphic simple sequence repeats database ・ Polymorphic Systems (computers) ・ Polymorphida ・ Polymorphidae ・ Polymorphism ・ Polymorphism (biology) ・ Polymorphism (computer science) ・ Polymorphism (materials science) ・ Polymorphism in Lepidoptera ・ Polymorphitidae ・ Polymorphomyia ・ Polymorphous light eruption ・ Polymorphous low-grade adenocarcinoma ・ Polymorphous perversity Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Polymorphic recursion ： ウィキペディア英語版 Polymorphic recursion In computer science, polymorphic recursion (also referred to as Milner–Mycroft typability or the Milner–Mycroft calculus) refers to a recursive parametrically polymorph function where the type parameter changes with each recursive invocation made instead of staying constant. Type inference for polymorphic recursion is equivalent to semi-unification and thefore undecidable and requires the use of a semi-algorithm or programmer supplied type annotations. == Example == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Polymorphic recursion」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.